CRDTs: Consistency without concurrency control

A CRDT is a data type whose operations commute when they are concurrent. Replicas of a CRDT eventually converge without any complex concurrency control. As an existence proof, we exhibit a non-trivial CRDT: a shared edit buffer called Treedoc. We outline the design, implementation and performance of Treedoc. We discuss how the CRDT concept can be generalised, and its limitations. Key-words: Data replication, optimistic replication, commutative operations ∗ This work is supported in part by the EU FP6 project Grid4All, a PhD grant from Microsoft Research, and the Portuguese FCT/MCTES project POSC/59064/2004, with FEDER funding. † École Normale Supérieure de Lyon and LIP6 ‡ Universidade Nova de Lisboa § INRIA Paris-Rocquencourt and LIP6 Les CRDT : Cohérence sans contrôle de concurrence Résumé : Un CRDT est un type de données dont toutes les opérations concurrentes sont commutatives. Les répliques d’un CRDT convergent inéluctablement, sans nécessiter un contrôle de concurrence complexe. Comme preuve d’existence, nous montrons un CRDT non trivial : un tampon d’édition partagée appelé Treedoc. Nous en résumons la conception, la mise en œuvre et les performances. Nous discutons les limites et les possibles généralisations du concept. Mots-clés : Réplication des données, réplication optimiste, opérations commutatives CRDTs: Consistency without concurrency control 3